:-modeh(append(+list,+list,-list)).
:-modet(2, l2ht(+list/[H|T], -any/H, -list/T)).
:-modeb(append(+list,+list,-list)).

:-set(example_inflation, 10).

append([], L, L).

example(append([1,2],[5],[1,2,5]), 1).
example(append([1],[5],[1,5]), 1).
example(append([],[5],[5]), 1).
example(append([1],[],[1]), 1).


%:-start, findall(H, hyp(append([1,2],[5],[1,2,5]), H, A, P), L),write(L),nl,length(L,N),write(N),nl,statistics.
%:-start,greedy(L).
